#include <stdio.h>
#include "standard.h"
#include "utf8.h"

int main(int argc, char** argv)
{
  uni_char codes[] = {0x48, 0x69, 0x417, 0x414, 0x420, 0x412, 0x41E, 0x2230, 0x30F3};
  uint8_t buffer[30];
  int i;
  uint8_t *p = buffer;
  for (i = 0; i < 9; i++){
    r_utf8_write_uni_char(&p, buffer+30, codes[i]);
  }
  /* Write a zero */
  r_utf8_write_uni_char(&p, buffer+30, 0);
  printf("%s\n", buffer);
  return 0;
}
